$\forall$${\it es}$:ES, $e$:E. isrcv($e$) $\Rightarrow$ loc(sender($e$)) $=$ source(lnk($e$)) $\in$ Id